Verification of safety integrity for vital data processing device through quantitative safety analysis
نویسندگان
چکیده
منابع مشابه
A New Approach for Verification of Safety Integrity Levels
The IEC standards 61508/61511 require that reliability targets for safety instrumented functions are defined and verified. The reliability targets are given as one out of a possible four safety integrity levels. For each safety integrity level there are many design requirements, including requirements for the probability of failure on demand. Verification of the requirements for the probability...
متن کاملPatient Safety Culture: A Meta-analysis of Hospital Data
Background and Objectives: Patient safety (PS) is one of the most important and essential elements of quality in healthcare setting. A systematic review and meta-analysis was performed to assess the status of patient safety culture using the Hospital Survey on Patient Safety Culture (HSOPSC). Methods: In this systematic review and meta-analysis study, data were collected through searching dat...
متن کاملIntegrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification
Typically verification focuses on demonstrating consistency between an implementation and a functional specification. For safety critical systems this is not sufficient, the implementation must also meet the system safety constraints and safety requirements. The work presented in this paper builds on the authors' previous work in developing a general framework for dynamically generating test-da...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملQuantitative Assessment of Safety Integrity Level of Message Transmission Between Safety-Related Equipment
This paper describes and analyses the possibilities of a quantitative assessment of message transmission between safety-related equipment for control and communication systems with a guarantee of a higher safety integrity level (SIL). The theoretical methods and standards recommended for industrial safety-related con344 K. Rástočný, M. Franeková, I. Zolotová, K. Rástočný, Jr. trol, information ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korea Academia-Industrial cooperation Society
سال: 2015
ISSN: 1975-4701
DOI: 10.5762/kais.2015.16.7.4863